Tiziana Margaria: шукати на сайті Z-Library

Tiziana Margaria (editor), Bernhard Steffen (editor)

Рік:

2021

Мова:

english

Файл:

PDF, 29.21 MB

0 / 5.0

english, 2021

Formal Methods for Industrial Critical Systems: A Survey of Applications

Wiley-IEEE Computer Society Press

Stefania Gnesi, Tiziana Margaria

Рік:

2013

Мова:

english

Файл:

PDF, 7.08 MB

0 / 0

english, 2013

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

Рік:

2008

Мова:

english

Файл:

PDF, 12.67 MB

0 / 0

english, 2008

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Рік:

2020

Мова:

english

Файл:

PDF, 27.77 MB

0 / 0

english, 2020

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 8.96 MB

0 / 0

english, 2012

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Рік:

2020

Мова:

english

Файл:

PDF, 32.16 MB

0 / 0

english, 2020

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing;Springer

Рік:

2016

Мова:

english

Файл:

PDF, 64.11 MB

0 / 0

english, 2016

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Рік:

2020

Мова:

english

Файл:

PDF, 28.03 MB

0 / 0

english, 2020

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 3.98 MB

0 / 0

english, 2001

Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Markus Schief, Anton Pussep, Peter Buxmann (auth.), Georg Herzwurm, Tiziana Margaria (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 5.19 MB

0 / 0

english, 2013

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Рік:

2014

Мова:

english

Файл:

PDF, 17.08 MB

0 / 0

english, 2014

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 7.19 MB

0 / 0

english, 2004

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Рік:

2010

Мова:

english

Файл:

PDF, 13.99 MB

0 / 0

english, 2010

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 3.60 MB

0 / 0

english, 1996

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 2.40 MB

0 / 0

english, 2006

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 6.37 MB

0 / 0

english, 1996

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 12.18 MB

0 / 0

english, 2001

Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.71 MB

0 / 0

english, 2004

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Рік:

2010

Мова:

english

Файл:

PDF, 9.82 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 13.02 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 11.26 MB

0 / 0

english, 2012

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2006

Мова:

english

Файл:

PDF, 2.13 MB

0 / 0

english, 2006

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Мова:

english

Файл:

EPUB, 10.33 MB

0 / 0

english

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Рік:

1998

Мова:

english

Файл:

PDF, 7.31 MB

0 / 0

english, 1998

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 13.00 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 8.98 MB

0 / 0

english, 2010

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Рік:

1998

Мова:

english

Файл:

DJVU, 6.59 MB

0 / 0

english, 1998

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 35.10 MB

0 / 0

english, 2009

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Pekka Abrahamsson, Nathan Baddoo, Margaria Tiziana, Richard Messnarz (auth.), Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 5.15 MB

0 / 0

english, 2007

Service-Oriented Computing – ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

Peter Vosshall (auth.), Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 21.81 MB

0 / 0

english, 2008

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 9.02 MB

0 / 0

english, 2010

Товариство "Просвiта" у Львовi: Покажчик видань 1868-1939

Michel Wermelinger, Tiziana Margaria-Steffen

Рік:

1996

Мова:

ukrainian

Файл:

DJVU, 11.77 MB

0 / 0

ukrainian, 1996

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Рік:

2018

Мова:

english

Файл:

PDF, 40.14 MB

0 / 0

english, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Рік:

2018

Мова:

english

Файл:

PDF, 32.18 MB

0 / 0

english, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Рік:

2018

Мова:

english

Файл:

PDF, 29.45 MB

0 / 0

english, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Рік:

2018

Мова:

english

Файл:

PDF, 27.53 MB

0 / 0

english, 2018

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Рік:

2019

Мова:

english

Файл:

PDF, 19.57 MB

0 / 0

english, 2019

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Axel Legay, Tiziana Margaria (eds.)

Рік:

2017

Мова:

english

Файл:

PDF, 25.98 MB

0 / 0

english, 2017

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Axel Legay, Tiziana Margaria (eds.)

Рік:

2017

Мова:

english

Файл:

PDF, 16.70 MB

0 / 0

english, 2017

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 10.70 MB

0 / 0

english, 2012

Process Design for Natural Scientists: An Agile Model-Driven Approach

Anna-Lena Lamprecht, Tiziana Margaria (eds.)

Рік:

2014

Мова:

english

Файл:

PDF, 20.52 MB

0 / 0

english, 2014

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Рік:

2016

Мова:

english

Файл:

PDF, 51.65 MB

0 / 0

english, 2016

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Рік:

2014

Мова:

english

Файл:

PDF, 20.35 MB

0 / 0

english, 2014

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 4.55 MB

0 / 0

english, 2001

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

Рік:

2017

Мова:

english

Файл:

PDF, 23.72 MB

0 / 0

english, 2017

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.)

Рік:

2015

Мова:

english

Файл:

PDF, 13.69 MB

0 / 0

english, 2015

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

Pekka Abrahamsson, Nathan Baddoo, Margaria Tiziana, Richard Messnarz (auth.), Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 3.00 MB

0 / 0

english, 2007

Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)